\begin{tabbing}
d{-}feasible{-}discrete($D$;${\it discrete}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$i$, $x$:Id.\+
\\[0ex]($\uparrow$(${\it discrete}$($i$,$x$)))
\\[0ex]$\Rightarrow$ \=(ma{-}init{-}const(M($i$);$x$)\+
\\[0ex]\& ($\forall$$k$:Knd, $s$:M($i$).state, $v$:M($i$).da($k$). ma{-}ef{-}const(M($i$);$k$;$x$;$s$;$v$)))
\-\-
\end{tabbing}